Delayed choice for process
نویسنده
چکیده
The delayed choice is an operator which serves to combine linear time and branching time within one process algebra. We study this operator in a theory with abstraction, more precisely, in a setting considering branching bisimulation. We show its use in scenario specii-cations and in veriication to reduce irrelevant branching structure of a process.
منابع مشابه
Different Learning Levels in Multiple-choice and Essay Tests: Immediate and Delayed Retention
This study investigated the effects of different learning levels, including Remember an Instance (RI), Remember a Generality (RG), and Use a Generality (UG) in multiple-choice and essay tests on immediate and delayed retention. Three-hundred pre-intermediate students participated in the study. Reading passages with multiple-choice and essay questions in different levels of learning were giv...
متن کاملDelayed choice: an operator for joining Message Sequence Charts
We study the extension of a simple process algebra with the delayed choice operator. It diiers from the normal non-deterministic choice in that the moment of choice is delayed until all alternatives can be distinguished by their rst action. An application is in joining Message Sequence Charts.
متن کاملDelayed choice for process algebra with abstraction
The delayed choice is an operator which serves to combine linear time and branching time within one process algebra. We study this operator in a theory with abstraction, more precisely, in a setting considering branching bisimulation. We show its use in scenario specii-cations and in veriication to reduce irrelevant branching structure of a process.
متن کاملDelayed imaging for detection of Meckel's diverticulum in Tc-99m pertechnetate scintigraphy
Tc-99m pertechnetate scintigraphy is the modality of choice for diagnosis of Meckel's diverticulum. Interpretation of Meckel's scan identifies a focal area of radiopharmaceutical uptake in the anterior abdomen similar to normal gastric mucosa. The activity must be of the same pattern and intensity as gastric uptake. We present a 13-year-old patient with gastrointest...
متن کاملExploring the decision dynamics of risky intertemporal choice
Previous research on the effects of probability and delay on decision-making has focused on examining each dimension separately, and hence little is known about when these dimensions are combined into a single choice option. Importantly, we know little about the psychological processes underlying choice behavior with rewards that are both delayed and probabilistic. Using a process-tracing exper...
متن کامل